Formal Specification and Design of Fault-Tolerant Satellite Formation Flying System
نویسندگان
چکیده
The satellite formation flying system is a collaborative system where multiple satellites cooperate in a formation to perform consensus mission in space LEO (Low-Earth-Orbit) through librations points. In recent years, this kind of formation flying systems are getting attention because of reduced cost of mission, failures and recovery and flexibility. If one big spacecraft is at a mission and it fails then entire mission get fails; in contrast if more than one satellite are at mission then mission failure can be avoided.
منابع مشابه
A New Design of Fault Tolerant Comparator
In this paper we have presented a new design of fault tolerant comparator with a fault free hot spare. The aim of this design is to achieve a low overhead of time and area in fault tolerant comparators. We have used hot standby technique to normal operation of the system without interrupting and dynamic recovery method in fault detection and correction. The circuit is divided to smaller modules...
متن کاملDesign of an Active Approach for Detection, Estimation and Short-Circuit Stator Fault Tolerant Control in Induction Motors
Three phase induction motors have many applications in industries. Consequently, detecting and estimating the fault and compensate it in a way that the faulty induction motor satisfies the predefined goals are important issues. One of the most common faults in induction motors is the short circuit of the stator winding. In this paper, an active fault-tolerant control system is designed and pres...
متن کاملA Microprocessor-Based Hybrid Duplex Fault-Tolerant System
Reliability is one of the fundamental considerations in the design of industrial control equipment. The microprocessor-based Hybrid Duplex fault-tolerant System (HDS) proposed in this paper has high reliability to meet this demand although its hardware structure is simple. The hardware configuration of HDS and the fault tolerance of this system are described. The switching control strategies in...
متن کامل189607 r MOVING FORMAL METHODS INTO PRACTICE : VERIFYING THE FTPP
This report documents the Phase 1 results of an effort aimed at formally verifying a key hardware component, called Scoreboard, of the Fault Tolerant Parallel Processor (FTPP) being built at Charles Stark Draper Laboratory (CSDL). The Scoreboard is part of the FTPP virtual bus that guarantees reliable communication between processors in the presence of Byzantine faults in the system. The Scoreb...
متن کاملA Distributed Flight Software Design for Satellite Formation Flying Control
Several NASA and DoD missions are envisioned that will utilize distributed, autonomous clusters of spacecraft. The Air Force Research Laboratory initiated the TechSat 21 mission to demonstrate the key enabling technologies of formation flying and distributed radar. Princeton Satellite Systems developed the Formation Flying Module (FFM) for TechSat 21 to provide autonomous reconfiguration, forma...
متن کامل